home *** CD-ROM | disk | FTP | other *** search
/ Best Tools for JAVA / Best Tools for JAVA.iso / JAVA_ALL / HOTJAVA_ / HOTJAVA / CLASSSRC / BROWSER / TOOLS / JAVASE~1 / INDEXD~2.JAV < prev    next >
Encoding:
Text File  |  1995-08-11  |  2.1 KB  |  65 lines
  1. /*
  2.  * @(#)indexdump.java    1.8 95/03/14 David A. Brown
  3.  *
  4.  * Copyright (c) 1994 Sun Microsystems, Inc. All Rights Reserved.
  5.  *
  6.  * Permission to use, copy, modify, and distribute this software
  7.  * and its documentation for NON-COMMERCIAL purposes and without
  8.  * fee is hereby granted provided that this copyright notice
  9.  * appears in all copies. Please refer to the file "copyright.html"
  10.  * for further important copyright and licensing information.
  11.  *
  12.  * SUN MAKES NO REPRESENTATIONS OR WARRANTIES ABOUT THE SUITABILITY OF
  13.  * THE SOFTWARE, EITHER EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED
  14.  * TO THE IMPLIED WARRANTIES OF MERCHANTABILITY, FITNESS FOR A
  15.  * PARTICULAR PURPOSE, OR NON-INFRINGEMENT. SUN SHALL NOT BE LIABLE FOR
  16.  * ANY DAMAGES SUFFERED BY LICENSEE AS A RESULT OF USING, MODIFYING OR
  17.  * DISTRIBUTING THIS SOFTWARE OR ITS DERIVATIVES.
  18.  */
  19.  
  20. package browser.tools.JavaSearch;
  21.  
  22. import java.io.*;
  23.  
  24. /** indexdump:  utility to view an index file */
  25. class indexdump {
  26.  
  27.     public static void main(String args[]) {
  28.     if (args.length != 1) {
  29.         System.out.println("  Usage:  java indexdump dbname");
  30.         return;
  31.     }
  32.     String filename = args[0] + ".index";
  33.     String qfilename = args[0] + ".qindex";
  34.  
  35.     System.out.println("Opening index file '" + filename + "'...");
  36.         FileInputStream filein = new FileInputStream(filename);
  37.         DataInputStream in = new DataInputStream(filein);
  38.  
  39.     System.out.println("Opening qindex file '" + qfilename + "'...");
  40.         FileInputStream qfilein = new FileInputStream(qfilename);
  41.         DataInputStream qin = new DataInputStream(qfilein);
  42.  
  43.     // Read the header
  44.     String header = in.readLine();
  45.     if (!header.equals(Index.indexFileHeader)) {
  46.         System.out.println("File "+
  47.                    filename+" is not an JavaSearch Index file!");
  48.         return;
  49.     }
  50.  
  51.     // Read all the index entries...
  52.     Word w;
  53.     int entrycount = 0;
  54.     while ((w = Word.readFromStream(in)) != null) {
  55.         // Read the entry from qindex that *should* agree with this w
  56.         int pos = qin.readInt();
  57.         System.out.println("  "+pos+":\t"+w);
  58.         entrycount++;
  59.     }
  60.     System.out.println("Closing index file.  Total index entries: " +
  61.                entrycount + ".");
  62.     filein.close();
  63.     }
  64. }
  65.